Church–Turing thesis - PDFSEARCH.IO - Document Search Engine

Church–Turing thesis
Results: 76

#	Item
21	λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Computability theory Theory of computation Lambda calculus Formal methods Models of computation Combinatory logic Church–Turing thesis Turing machine Entscheidungsproblem Mathematics Theoretical computer science Mathematical logic
22	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: raley.english.ucsb.edu Language: English - Date: 2012-09-09 19:33:36 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
23	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: classes.dma.ucla.edu Language: English - Date: 2014-10-12 21:29:55 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
24	Part III Michaelmas 2012 COMPUTATIONAL COMPLEXITY Lecture notes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-10-08 12:14:22 Computer science Turing machine Models of computation Alan Turing Universal Turing machine Computability Computational complexity theory Halting problem Church–Turing thesis Theoretical computer science Computability theory Theory of computation
25	THE LAUNDRY A roleplaying game based on the ‘Laundry Files’ novels by Charles Stross Add to Reading List Source URL: www.cubicle7.co.uk Language: English - Date: 2014-05-11 06:01:59 Literature Computer science The Atrocity Archives Magic Dungeons & Dragons Turing machine Shakira Church–Turing thesis Champions Games Alan Turing Computability theory
26	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-01 05:10:06 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
27	COMS11700 Undecidability Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:34 Computability theory Theory of computation Alan Turing Turing machine Proof theory Undecidable problem Machine that always halts Decidability Church–Turing thesis Theoretical computer science Mathematics Mathematical logic
28	International Conference on History and Philosophy of Computing (HAPOC) The International Conference on History and Philosophy of Computing[removed]November, Ghent University, Belgium), collected for the first time in a si Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-04 08:41:21 Theory of computation Computability theory Alan Turing Turing machine Mathematical logic Computability Algorithm Church–Turing thesis Interactive computation Theoretical computer science Computer science Applied mathematics
29	Logic in question L. De Mol When the bubble of symbolic logic finally burst. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-24 06:40:44 Computer science Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Logic Algorithm Computability Computability theory Theoretical computer science Mathematics
30	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-18 10:44:50 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics

UPDATE